ソフトウェアのテスト技法 ⑧ 静的解析技術(2)――データフロー解析